Boolean-valued function